Section: Dissemination

Teaching

Contraintes is affiliated to the Doctoral school of Mathematical Science of the University of Paris 7, and to the interdiciplinary Doctoral school “Frontières du Vivant” of the University of Paris 5.

The following courses have been given by members of Contraintes:

• Doctorate: Ecole Jeunes Chercheurs en Programmation “Programmation par Contraintes”, Dinard, François Fages (6h).

• Master: Cell Systems Biology master curriculum at the Ecole Normale Supérieure, Paris, coordinated by Denis Thieffry.

• Master M2 course C2-35-1 on Constraint Programming , Master Parisien de Recherche en Informatique (MPRI) Sylvain Soliman (responsible, 24h).

• Master M2 course C2-19 on Computational Methods for Systemic and Synthetic Biology , Master Parisien de Recherche en Informatique (MPRI) François Fages (responsible, 12h), Grégory Batt (12h), Denis Thieffry (12h).

• Master M2 course on Constraint Programming, Master d'Informatique d'Orléans, François Fages (3h).

• Master M1 course on Computational Biology , Master Approches Interdisciplinaires du Vivant (AIV), Grégory Batt (responsible, 40h).

• Master M1 course on Synthetic Biology and Entrepreneurship, AgroParisTech, Xavier Duportet (6h)

• Licence L2 Cours/TD Informatique, Université de Paris Dauphine, Faten Nabli (72h).

• Licence L1 TD on Fondements de l'Informatique, Université de Versailles-Saint-Quentin-en-Yvelines, Elisabetta De Maria (36h).

• Licence L1 TD on Fondements de l'Informatique, Université de Versailles-Saint-Quentin-en-Yvelines, Aurélien Rizk (33h).

• Science, Innovation and Entrepreneurship non for profit organization: 4 conferences (400 people), Paris, Xavier Duportet (12h)

• Alliance pour la recherche et l'innovation des industries de sante, Paris, bimonthly meetings for SynBio Scientific Commitee, Xavier Duportet

The following PhD theses have been supervised:

• PhD : Domitille Heitzler, “Modélisation dynamique des mécanismes de signalisation cellualire induits oar l'hormone folliculo-stimulante et l'angiotensine”, Université Rabelais à Tours, Janvier 2011, Dir. Eric Reiter, Frédérique Clément, François Fages,

• PhD : Aurélien Rizk, “Résolution de contraintes temporelles pour l'analyse de systèmes biologiques”, Université Paris Diderot, Paris, 6 juin 2011, Dir. François Fages,

• PhD in progress : Thierry Martinez, “Concurrence, angélisme et contraintes pour la programmation en logique linéaire”,Université Paris Diderot, Paris, Dir. François Fages,

• PhD in progress: François Bertaux, Université Pierre et Marie Curie, Paris, Sept 2011, Dir. Dirk Drasdo (EPI BANG) and Grégory Batt

• PhD in progress : Xavier Duportet, Université Paris Diderot, Paris, octobre 2010, Dir. Grégory Batt, François Fages and Ron Weiss (MIT)

• PhD in progress : Steven Gay, Université Paris Diderot, Paris, octobre 2009, Dir. François Fages and Sylvain Soliman,

• PhD in progress : David Fournier, Université Paris Diderot, Paris, octobre 2009, Dir. François Fages and Denis Mulard (General Electric),

• PhD in progress : Thierry Martinez, Université Paris Diderot, Paris, octobre 2009, Dir. François Fages,

• PhD in progress : Faten Nabli, Université Paris Diderot, Paris, octobre 2009, Dir. François Fages and Sylvain Soliman

• PhD in progress : Jannis Uhlendorf, Université Paris Diderot, Paris, octobre 2009, Dir. Grégory Batt, François Fages and Pascal Hersen (MSC)